%%%
%%% Style file for the texify tool.
%%% The commands defined in this file simply remove any menaning
%%% from the `special' commands used by texify.
\def\makemenu{}
\def\node#1#2#3{}
\def\texi#1{}
\def\texinclude#1{}
% \def\ifinfo{\noexpand\iffalse}
% \def\iftex{\noexpand\iftrue}
\newif\ifinfo
\newif\iftex
\textrue
